Skip to content
Docs
Runtime Environment

Runtime Environment

testcase.ac counterexample search runs on AWS Lambda.

  • Server: AWS Lambda container
  • Container definition: deploy/stresser.Dockerfile
  • Architecture: x86_64
  • Counterexample search time limit: 90 seconds

You can check the detailed deployment settings in deploy/terraform/stresser.