SRI-CSL/OCCAM

Add tests for new experimental options

caballa opened this issue · 2 comments

caballa commented
  • for option --llpe
  • for option --devirt
  • for option --ipdse
  • for option --precise-dce
  • for option --ai-invariants
caballa commented

llpe has been removed while porting to llvm 10.

caballa commented

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