[gcc/aoliva/heads/testme] improvements for fold_truth_andor_1

[Alexandre Oliva]

The branch 'aoliva/heads/testme' was updated to point to:

 c5108baf0f0... improvements for fold_truth_andor_1

It previously pointed to:

 8e6137d4c9d... improvements for fold_truth_andor_1

Diff:

!!! WARNING: THE FOLLOWING COMMITS ARE NO LONGER ACCESSIBLE (LOST):
-------------------------------------------------------------------

  8e6137d... improvements for fold_truth_andor_1


Summary of changes (added commits):
-----------------------------------

  c5108ba... improvements for fold_truth_andor_1