Ralf Jung
|
1a4ad2bb9f
|
update for miri engine: new function handling, new static handling, fixed leaks
|
2018-08-24 16:45:08 +02:00 |
|
Ralf Jung
|
b7c57fee61
|
Ignore tests
the bool thing will be fixed by the validation I have planned, and we already ignored another test around modifing constants.
|
2018-07-26 11:21:49 +02:00 |
|
Ralf Jung
|
30185d09f6
|
make sure we show error messages even when we cannot show span
|
2018-07-15 11:40:57 +02:00 |
|
bjorn3
|
8ae66db798
|
Convert some of the tests to the new format
|
2018-06-05 18:08:18 +02:00 |
|
Oliver Schneider
|
98cda6cb07
|
freeze -> static
|
2017-02-07 20:28:54 +01:00 |
|
Oliver Schneider
|
51ff9fdaf6
|
deallocate all locals on function exit and transitively freeze constants through pointers
|
2016-11-18 10:05:55 +01:00 |
|