diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2021-04-17 14:50:03 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2021-04-17 14:50:51 +0200 |
| commit | 15806a1f68178a278c7a297b163d5692fe71cbf2 (patch) | |
| tree | b2fdbb4fbd4fde1e274747f6dcf8c7770a0af66b /Makefile | |
| parent | 2e3c2464ca3522fe0a6dfc93ea36c88cbe7bf117 (diff) | |
| download | sparse-dev-15806a1f68178a278c7a297b163d5692fe71cbf2.tar.gz | |
scheck: predefine __SYMBOLIC_CHECKER__
It can be useful to use the same testcase for the symbolic checker
and normal sparse (or test-linearize) processing.
So, there must be a mean to somehow ignore the assertions used
for the symbolic checker when it's not used (since these are otherwise
not known to sparse).
Resolve this by adding a predefine, __SYMBOLIC_CHECKER__, to the
symbolic checker.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions