RuntimeVerification.ercx-vscode

ERCx Solidity Testing

Total downloads

4,756

7d gain

64

Rolling weekly delta

Rating

1.00 / 5

1 review

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: 1

Taxonomy

Categories

Programming Languages Testing

Description

Run the ERCx tests inside VSCode.

Archive

Release history

12 latest releases