diff options
| -rwxr-xr-x | genprog.sh | 10 |
1 files changed, 6 insertions, 4 deletions
@@ -52,6 +52,7 @@ cp $ORIG_HALTING_DECIDER $HALTING_DECIDER cp $ORIG_ERROR_DECIDER $ERROR_DECIDER PROGRAM_BASENAME=pg-${HD_HASH}-${ED_HASH} +PROGRAM_CLASS_BASENAME=pg-"*"-${ED_HASH} STANDALONE_DECIDER_BASENAME=sa-${HD_HASH} printf "halting decider: %s\n" $HALTING_DECIDER @@ -70,6 +71,7 @@ int error_decider(const char *, const char *, const char *); #define HD_HASH "$HD_HASH" #define ED_HASH "$ED_HASH" #define PG_BASE "$PROGRAM_BASENAME" +#define PG_CLAS "$PROGRAM_CLASS_BASENAME" #define PG_SELF PG_BASE ".c" #define HD_NAME "$HALTING_DECIDER" @@ -96,8 +98,8 @@ int main(int argc, char **argv) printf("decider %s RIGHT: %s/%s halts\n", HD_NAME, PG_SELF, input); return EXIT_SUCCESS; case ERROR: - printf("decider %s WRONG: TRUE and FALSE are viable answers for %s/%s\n", - HD_NAME, PG_SELF, input); + printf("decider %s WRONG: TRUE and FALSE are viable answers for %s\n", + HD_NAME, PG_CLAS); abort(); } } else { @@ -109,8 +111,8 @@ int main(int argc, char **argv) printf("decider %s WRONG: %s/%s halts\n", HD_NAME, PG_SELF, input); for(;;); case ERROR: - printf("decider %s RIGHT: neither TRUE nor FALSE is correct for %s/%s\n", - HD_NAME, PG_SELF, input); + printf("decider %s WRONG: neither TRUE nor FALSE false is right for %s\n", + HD_NAME, PG_CLAS); abort(); } } |