test: cover allowedAxioms via lakefile leanOptions in consumer #2
background
wait
wait-all
cancel
Loading