RuntimeVerification.ercx-vscode

ERCx Solidity Testing

Total downloads

3,888

7d gain

12

Rolling weekly delta

Rating

- / 5

0 reviews

Version

0.0.15

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: RuntimeVerification
Name: ercx-vscode
License: -
Homepage: https://github.com/runtimeverification/ercx-vscode#readme
Repository: https://github.com/runtimeverification/ercx-vscode.git
Reviews: 0

Taxonomy

Categories

Programming Languages Testing

Description

Run the ERCx tests inside VSCode.

Archive

Release history

12 latest releases