Commit cb523bdc authored by Antoine Martin's avatar Antoine Martin Committed by Etienne Renault

desugar: split into ltl package and desugar binary

parent fa027f71
package main
package ltl
import (
"fmt"
......
package main
import "os"
import "fmt"
import "encoding/json"
import (
"encoding/json"
"fmt"
"os"
"gitlab.lrde.epita.fr/spot/go2pins/ltl"
)
func main() {
if len(os.Args) < 3 {
......@@ -17,7 +21,7 @@ func main() {
os.Exit(1)
}
res, err := Desugar(os.Args[1], m)
res, err := ltl.Desugar(os.Args[1], m)
if err != nil {
fmt.Fprintf(os.Stderr, "%v\n", err)
os.Exit(1)
......
package main
package ltl
import "testing"
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment