main.c 1.0 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647
  1. #include <stdio.h>
  2. #include "lib.h"
  3. int get_stnodep_value (void);
  4. int get_stshdep_value (void);
  5. int get_ststdep_value (void);
  6. SYMBOL_IMPORT int get_shnodep_value (void);
  7. SYMBOL_IMPORT int get_shshdep_value (void);
  8. SYMBOL_IMPORT int get_shstdep_value (void);
  9. int main(int argc, char *argv[]) {
  10. int val;
  11. val = get_shnodep_value ();
  12. if (val != 1) {
  13. printf("shnodep was %i instead of 1\n", val);
  14. return -1;
  15. }
  16. val = get_stnodep_value ();
  17. if (val != 2) {
  18. printf("stnodep was %i instead of 2\n", val);
  19. return -2;
  20. }
  21. val = get_shshdep_value ();
  22. if (val != 1) {
  23. printf("shshdep was %i instead of 1\n", val);
  24. return -3;
  25. }
  26. val = get_shstdep_value ();
  27. if (val != 2) {
  28. printf("shstdep was %i instead of 2\n", val);
  29. return -4;
  30. }
  31. val = get_stshdep_value ();
  32. if (val != 1) {
  33. printf("shstdep was %i instead of 1\n", val);
  34. return -5;
  35. }
  36. val = get_ststdep_value ();
  37. if (val != 2) {
  38. printf("ststdep was %i instead of 2\n", val);
  39. return -6;
  40. }
  41. return 0;
  42. }