add a owi_bool function

[Laplace-Demon]

#374

[redianthus]

I'll benchmark this before merging.

[redianthus]

I rebased your PR. The benchmark is running in results-testcomp-owi_w24_O3_sZ3-2024-07-31_22h04m39s/results.

The current results on main are:

Nothing: 0 Reached: 689 Timeout: 526 Other: 1 Killed: 0

[redianthus]

It seems to make a difference on two cases:

Run 797/1216: testcomp/sv-benchmarks/c/nla-digbench-scaling/freire2_valuebound10.c
  Reached in 10.3118 19.4001 1.2719
  Nothing:      0    Reached:    387    Timeout:    409    Other:      1    Killed:      0

Run 821/1216: testcomp/sv-benchmarks/c/nla-digbench-scaling/prod4br-ll_unwindbound5.c
  Reached in 2.15925 40.0542 2.31359
  Nothing:      0    Reached:    404    Timeout:    416    Other:      1    Killed:      0

And both leading to a timeout now.

I need to investigate more.

[redianthus]

@Laplace-Demon, sorry for the delay. I think we can accept this once this is rebased, can you take care of it?

[Laplace-Demon]

@Laplace-Demon, sorry for the delay. I think we can accept this once this is rebased, can you take care of it?

It's done. I hope I've made things right :)

[filipeom]

@zapashcanon I feel this is good to go :)

[redianthus]

Thanks!