New tests for the book chapter.

diffblue / 2ls

Static Analyzer and Verifier

http://www.cprover.org/2LS

Other

43 stars 22 forks source link

Closed viktormalik closed 4 years ago

viktormalik commented 5 years ago

These include checks for:

viktormalik commented 4 years ago

@peterschrammel I think that this can be merged.