From 9e442f6daefcfa2f22d9c974497162da60b9fc57 Mon Sep 17 00:00:00 2001 From: mouhebbenchiekh <48447027+mouhebbenchiekh@users.noreply.github.com> Date: Mon, 23 Nov 2020 22:55:30 +0100 Subject: [PATCH 1/3] Update ispin.tcl --- optional_gui/ispin.tcl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/optional_gui/ispin.tcl b/optional_gui/ispin.tcl index 0008c12..09f26ae 100755 --- a/optional_gui/ispin.tcl +++ b/optional_gui/ispin.tcl @@ -16,7 +16,7 @@ set version "Spin Version unknown"; # updated below set Unix 1; # updated below ### Tools - set SPIN spin ;# essential + set SPIN C:\Users\MBM info\Documents\Insat\spin.exe\spin.exe ;# essential set CC gcc ;# essential set DOT dot ;# recommended, for automata view # set DOT "C:/Program\ Files\ \(x86\)/Graphviz2.36/bin/dot" From 23329b6a3fd85a1f7a15a64f44b734f3b8549782 Mon Sep 17 00:00:00 2001 From: mouhebbenchiekh <48447027+mouhebbenchiekh@users.noreply.github.com> Date: Mon, 23 Nov 2020 23:11:47 +0100 Subject: [PATCH 2/3] Update ispin.tcl --- optional_gui/ispin.tcl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/optional_gui/ispin.tcl b/optional_gui/ispin.tcl index 09f26ae..e641f9c 100755 --- a/optional_gui/ispin.tcl +++ b/optional_gui/ispin.tcl @@ -16,7 +16,7 @@ set version "Spin Version unknown"; # updated below set Unix 1; # updated below ### Tools - set SPIN C:\Users\MBM info\Documents\Insat\spin.exe\spin.exe ;# essential + set SPIN C:\Users\MBM info\Documents\Insat\spin.exe\spin ;# essential set CC gcc ;# essential set DOT dot ;# recommended, for automata view # set DOT "C:/Program\ Files\ \(x86\)/Graphviz2.36/bin/dot" From 9f735f7d5b3ac41061fdc93ead4dbfd03008b313 Mon Sep 17 00:00:00 2001 From: mouhebbenchiekh <48447027+mouhebbenchiekh@users.noreply.github.com> Date: Mon, 23 Nov 2020 23:13:22 +0100 Subject: [PATCH 3/3] Update ispin.tcl --- optional_gui/ispin.tcl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/optional_gui/ispin.tcl b/optional_gui/ispin.tcl index e641f9c..a2f50ac 100755 --- a/optional_gui/ispin.tcl +++ b/optional_gui/ispin.tcl @@ -16,7 +16,7 @@ set version "Spin Version unknown"; # updated below set Unix 1; # updated below ### Tools - set SPIN C:\Users\MBM info\Documents\Insat\spin.exe\spin ;# essential + set SPIN "C:\Users\MBM info\Documents\Insat\spin.exe\spin" ;# essential set CC gcc ;# essential set DOT dot ;# recommended, for automata view # set DOT "C:/Program\ Files\ \(x86\)/Graphviz2.36/bin/dot"