search

ngsankha / absynthe

synthesis guided by abstract interpretation
BSD 3-Clause "New" or "Revised" License
2 stars 0 forks source link

Handle subprocess timeout for Sygus benchmarks #4

Open ngsankha opened 2 years ago

ngsankha commented 2 years ago

e93886d75b2b1698024db58206fc5405f936d802 introduces running individual benchmarks as a child process. It only handles the happy path. If the child process times out, the behavior is undefined right now.

ngsankha commented 2 years ago

Parent process fails with the following on timeout:

Minitest::UnexpectedError:         TypeError: no implicit conversion of nil into String
            /Users/sankha/.rbenv/versions/3.0.2/lib/ruby/3.0.0/json/common.rb:216:in `initialize'
            /Users/sankha/.rbenv/versions/3.0.2/lib/ruby/3.0.0/json/common.rb:216:in `new'
            /Users/sankha/.rbenv/versions/3.0.2/lib/ruby/3.0.0/json/common.rb:216:in `parse'
            /Users/sankha/projects/absynthe/test/test_helper.rb:59:in `block in run_sygus_test'