run-tests.sh

#! /bin/bash
ork2json --filepath="examples/EPFL--BellaLui--2020/rocket.ork"
ork2json --filepath="examples/NDRT--Rocket--2020/rocket.ork"
ork2json --filepath="examples/ProjetoJupiter--Valetudo--2019/rocket.ork"