Errors when running examples

[afonsoalmeida]

Hello,

I get some errors when running dingo-hunter on the programs from the examples folder. I have contacted Nick about this, but he was busy and could not help me at the time. Below is a summary of the errors, in the hope that someone can clarify if these are really errors related to the tool or if I'm doing anything wrong. Thank you!

CFSMs errors:

• altbit - panic: Select: Channel main.rx.t12 is undefined
• dining-philosophers - panic: Select: Channel (*main.Philosopher).getChopsticks.t16 is undefined
• fcall - FATAL ERROR: (line 3) place q00q10q20q30q40 not declared
• multiple-files - Undeclared name: x ; couldn't load packages due to errors: main
• multiple-timeout - panic: Select: Channel main.main.t1 is undefined
• philo - Not exactly an error, but running for 10-15 minutes does not seem to be enough to show the full output.
• powsers - panic: Select: Channel main.getn.t21 is undefined
• timeout-behaviour - panic: Select: Channel main.main.t2 is undefined

MiGo Types errors:

• channel-scoping-test - Gong: Some of ["t0"] are not declared.
• deadlocking-philosophers - panic: runtime error: invalid memory address or nil pointer dereference
• dining-philosophers - panic: runtime error: invalid memory address or nil pointer dereference
• fanin-pattern - Gong: Some of ["t0", "t1", "t3"] are not declared.
• fanin-pattern-commaok - Gong: [unfoldTillGuard] We don't deal with Seq yet: main.fanin5 <t0, t1>; main.main#14 <t0, t11>; 0
• fcall - Gong: Some of ["t0"] are not declared.
• github-golang-go-issue-12734 - github-golang-go-issue-12734.migo is not fenced.
• golang-blog-prime-sieve - Gong: [unfoldTillGuard] We don't deal with Seq yet
• makechan-in-loop - Gong: Some of ["t12"] are not declared.
• md5 - panic: runtime error: invalid memory address or nil pointer dereference
• multi-makechan-same-var - Gong: Some of ["t0"] are not declared.
• multiple-files - Undeclared name: x ; couldn't load packages due to errors: main
• multiple-timeout - Gong: Something went wrong, can't find: main.main#1
• philo - Gong: Some of ["t5"] are not declared.
• powsers - Gong: Some of ["t32"] are not declared.
• producer-consumer - Gong: Some of ["done"] are not declared.
• ring-pattern - ring-pattern.migo is not fenced
• russ-cox-fizzbuzz - Gong: Some of ["t4", "t1"] are not declared.
• select-with-weak-mismatch - Gong: Something went wrong, can't find: main.main#1
• single-gortn-method-call - Gong: Some of ["t1"] are not declared.
• spawn-in-choice - panic: runtime error: invalid memory address or nil pointer dereference
• squaring-cancellation - Gong: Some of ["t3", "t0"] are not declared.
• squaring-fanin - Gong: Some of ["t11", "t2"] are not declared.
• squaring-fanin-bad - Gong: Some of ["t11", "t2"] are not declared.
• squaring-pipeline - Gong: Some of ["t4"] are not declared.
• struct-done-channel - Gong: Some of ["t1"] are not declared.