 Chimrod
|
d7a13b0e5d
Added a new check to ensure that every call to another location points to an existing one
|
vor 9 Monaten |
|
Chimrod
|
6fd720c07e
Added a general context for each test
|
vor 9 Monaten |
|
Chimrod
|
4ec7f0b73f
Simplified the representation of expressions in strings
|
vor 11 Monaten |
|
Chimrod
|
6ada3862d9
Allow test to be enabled or disabled by command line
|
vor 1 Jahr |
|
Chimrod
|
673da2554d
List all the available tests on command line
|
vor 1 Jahr |
|
Chimrod
|
180529c302
Extracting the report from the Location checker is now in it’s own function
|
vor 1 Jahr |
|
Chimrod
|
77ae152ece
Updated the interface
|
vor 1 Jahr |
|
Chimrod
|
fc235a1d2b
Updated the documentation
|
vor 1 Jahr |
|
Chimrod
|
319c1e4474
Now I have the API I want. Everything is abstract in the type S.Analyzer
|
vor 1 Jahr |
|
Chimrod
|
2a2198e910
Refactoring the API
|
vor 1 Jahr |
|
Chimrod
|
0b75cd5bc0
Used the dead-end checker in main analysis
|
vor 1 Jahr |
|
Chimrod
|
28981268a4
Applied this new way to check the errors in the main code
|
vor 1 Jahr |
|
Chimrod
|
b38bcd572d
New checker which operate accumulate differents other checkers
|
vor 1 Jahr |
