Content - 0e9d2a5fd37e0fa50d91edecf9bc2d2439d3a40a - 77089c0/system/callprover.c

visit type:

https://github.com/EasyCrypt/easycrypt

05 April 2024, 19:20:55 UTC

Tip revision: 92c2f2a2704a5a228499fe9af7b8faec9861e286 authored by Pierre-Yves Strub on 09 May 2018, 11:25:50 UTC
Pragmas for printing pre/post as a list of their resp. conjunctions

Tip revision: 92c2f2a

callprover.c

/* ------------------------------------------------------------------------ */
#if defined(__WIN32__)
#include <SDKDDKVer.h>

#include <stdlib.h>
#include <Windows.h>

int wmain(int argc, LPWSTR argv[]) {
  (void) argc;
  (void) argv;
  abort();
}
#else
# include "unix/callprover.c"
#endif