SRI-CSL / OCCAM

OCCAM: Object Culling and Concretization for Assurance Maximization
BSD 3-Clause "New" or "Revised" License
26 stars 10 forks source link

Add tests for new experimental options #18

Closed caballa closed 4 years ago

caballa commented 5 years ago
caballa commented 4 years ago

llpe has been removed while porting to llvm 10.

caballa commented 4 years ago

We will need tests for clam once it's integrated.