No longer forbid bytecode with k_order_solver
Passed
Sébastien Villemot
created pipeline for commit
6235e690
, finished
For master
2 minutes 0 seconds, queued for 20 seconds