search

VerifiableRobotics / LTLMoPWeb3D

A website for Cornell's Autonomous Systems Lab to essentially have LTLMoP available in 3D and online
https://ltlmop.herokuapp.com/
Other
3 stars 1 forks source link

Create CI Environment #49

Open agilgur5 opened 8 years ago

agilgur5 commented 8 years ago

Check out Travis or CircleCI and some other things. IIRC there's a bunch of free ones for open source repos. This also requires writing a bit of tests. Automating those would make my life easier when testing. Would start with integration tests, and do the front end work entirely in node - need to figure out how to pass files here to the input onChange events.

agilgur5 commented 8 years ago

With the API + SPA decoupling, some mad simple API unit tests can be written to check compilation and analysis (essentially check the compiled artifacts on the server against the compiled files pre-loaded on the CI system).

The SPA can be unit tested much easier with the decoupling as only compilation + analysis will ever run against the server, so all other functions can be tested independently of the API. Will have to put some thought into abstracting the functionality further so that most, if not all, steps can be tested independently/out of order (particularly thinking about the counter strategy visualization...)