File: version.c

package info (click to toggle)
picosat 960-1
  • links: PTS
  • area: main
  • in suites: buster, jessie, jessie-kfreebsd, stretch
  • size: 544 kB
  • ctags: 1,506
  • sloc: ansic: 15,668; sh: 136; makefile: 125
file content (14 lines) | stat: -rw-r--r-- 168 bytes parent folder | download | duplicates (9) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
#include "config.h"

const char *
picosat_version (void)
{
  return PICOSAT_VERSION;
}

const char *
picosat_config (void)
{
  return PICOSAT_CC " " PICOSAT_CFLAGS;
}