search

mojtaba-eshghie / HighGuard

The runtime monitoring tool for smart contracts high-level properties.
https://arxiv.org/abs/2305.08254
MIT License
5 stars 2 forks source link

Specify the expected behavior of each test in ci-config.yml #53

Closed mojtaba-eshghie closed 7 months ago

mojtaba-eshghie commented 7 months ago

In the following 

tests:
  - name: "Exploit monitoring integration tests"
    directory: "/tests/exploits/"
    files:
      - "exp1.js"
    environment: "anvil"

we can use enumerations for: Exploit found or not found

mojtaba-eshghie commented 7 months ago

This issue is resolved as part of #48