search

astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Feature/gmock #10

Closed frejknutarlewander closed 4 years ago

frejknutarlewander commented 4 years ago

Started as a feature to add bounds to SavedInt (still here), but ended up as a feature for gmock

Linked gmock to the testing project in Cmake. Adde gmock tests for tEngine as a initial gmock test.

frejknutarlewander commented 4 years ago

Updated SavedInt and VarInt. Also merged develop into this branch and fixed test cases