search

SymbolicPathFinder / jpf-symbc

Symbolic PathFinder
https://github.com/SymbolicPathFinder/jpf-symbc
130 stars 91 forks source link

Z3 optimization, PC valuation, missing files #1

Closed yannicnoller closed 6 years ago

yannicnoller commented 6 years ago

Hey all,

I created three commits for the following topics:

  1. support for Z3 optimization,
  2. two fixes for PathCondition valuation: (i). getting the same value if asked twice, (ii). correct valuation for negative bitvectors, and
  3. hidden files like .project, .classpath, .externalToolBuilders/ and .gitignore were missing.

Thanks Yannic