diff options
| author | Thomas Bauereiss | 2020-04-18 21:27:24 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2020-04-21 14:02:39 +0100 |
| commit | f2dbac60d6c1a92956652a631280314bde3fd633 (patch) | |
| tree | 1b27fa1c53e17c6c9d8cd6ba0e85c94cc1342d45 /test/c/nonexistent_pragma.expect | |
| parent | 747ce71ad0c19ed9ab3a3162a67a96b6bb12c09b (diff) | |
Add more SMT builtins
Also add support for intialising variables with an "undefined" literal;
make the SMT solver treat the value as arbitrary but fixed.
Diffstat (limited to 'test/c/nonexistent_pragma.expect')
0 files changed, 0 insertions, 0 deletions