6efb24e8

By: Tom Sydney Kerckhove <syd@cs-syd.eu>

Restore BoolLit; ConstBool now only matches non-literal Bool expressions

BoolLit flips True<->False for Bool literals.
ConstBool replaces any non-literal Bool expression with True or False.
The two operators cover disjoint cases.

Suite timing

Time to Start Worker time Duration Time to finish
Config 1s 2s 2s 4s
Eval 4s 1m36s 1m36s 1m41s
Build 57s 27m06s 12m49s 13m46s
Test - - - -
Deploy - - - -
Suite 1s 28m45s 13m45s 13m46s

Timeline

0s1m2m3m4m5m6m7m8m9m10m11m12m13m