Skip to content

dynaroars/vnncomp-benchmark-generation

Repository files navigation

vnncomp-benchmark-generation

  • Setup environment (variables, packages, verifiers, etc.)
source ./setup.sh
  • Generate benchmarks
~/conda-test/envs/benchmark-neuralsat/bin/python generate_properties.py <seed>