| summaryrefslogtreecommitdiff |
path: root/99_idp_main.txt
diff options
| author | nsensfel <SpamShield0@noot-noot.org> | 2018-05-28 15:50:05 +0200 |
|---|---|---|
| committer | nsensfel <SpamShield0@noot-noot.org> | 2018-05-28 15:50:05 +0200 |
| commit | 84831716add27b53954142c3bbd72539b9168021 (patch) | |
| tree | 68df8f61349d7d84847754aaf96f6cf05eee35e7 /99_idp_main.txt | |
| parent | 1a64a73c47394dab7b10e6fd87fb8390df3ad89c (diff) | |
Can now run IDP.
Diffstat (limited to '99_idp_main.txt')
| -rw-r--r-- | 99_idp_main.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/99_idp_main.txt b/99_idp_main.txt new file mode 100644 index 0000000..9dee3df --- /dev/null +++ b/99_idp_main.txt @@ -0,0 +1,4 @@ +procedure main(){ + printmodels(allmodels(T,S,Vout)) +} + |