Fix for Gradle error - Githubissues

Ecdar / j-Ecdar

A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in Java.

MIT License

4 stars 9 forks source link

Open Nielswps opened 1 year ago

Nielswps commented 1 year ago

The latest PR merge (#87) introduce a build error not caught by the CI pipeline.

This re-introduces the mainClassName Gradle attribute to resolve the issue mentioned above.