search

izlatkin / HornLauncher

scripts and reports for executions seahorn and test generation
0 stars 0 forks source link

run script with eca and ldv-linux-3.4-simple #27

Closed izlatkin closed 2 years ago

izlatkin commented 3 years ago

ldv-linux-3.4-simple ls ~/CLionProjects/sv-benchmarks/c/ntdrivers-simplified

izlatkin commented 2 years ago

all benchs from ntdrivers-simplified are Nonlinear CHC is currently unsupported ldv-linux-3.4-simple