Commit 45de5258 authored by Etienne Renault's avatar Etienne Renault

twacube: fix dot output in tests

* tests/core/twacube.test: Here.
parent d6722a92
#!/bin/sh
# -*- coding: utf-8 -*-
# Copyright (C) 2014, 2015, 2016 Laboratoire de Recherche et Développement de
# l'Epita (LRDE).
# Copyright (C) 2014, 2015, 2016, 2018 Laboratoire de Recherche et
# Développement de l'Epita (LRDE).
#
# This file is part of Spot, a model checking library.
#
......@@ -33,7 +33,7 @@ set -e
run 0 ../twacube > stdout
cat >expected <<EOF
digraph G {
digraph "" {
rankdir=LR
node [shape="circle"]
I [label="", style=invis, width=0]
......@@ -66,7 +66,7 @@ init : 0
2 1 !p1 {}
2 0 p1 {0,1}
2 0 !p1&p2 {0,1}
digraph G {
digraph "" {
rankdir=LR
node [shape="circle"]
I [label="", style=invis, width=0]
......
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