aboutsummaryrefslogtreecommitdiff
path: root/src/benchmarks/espresso/sminterf.c
diff options
context:
space:
mode:
authorFlorian Fischer <florian.fl.fischer@fau.de>2020-05-06 16:56:32 +0200
committerFlorian Fischer <florian.fl.fischer@fau.de>2020-06-02 11:18:47 +0200
commit8174a918ea3b7cb216bf7ea98cfdc10661b5c37d (patch)
tree0747ec3ccb9f8d7eeccfac35977fc17855ca3bbb /src/benchmarks/espresso/sminterf.c
parent8f52e8fc02dd235582f5961941bcd564e9a681cd (diff)
downloadallocbench-8174a918ea3b7cb216bf7ea98cfdc10661b5c37d.tar.gz
allocbench-8174a918ea3b7cb216bf7ea98cfdc10661b5c37d.zip
make the whole project more python idiomatic
* rename src directory to allocbench * make global variable names UPPERCASE * format a lot of code using yapf * use lowercase ld_preload and ld_library_path as Allocator members * name expected Errors 'err' and don't raise a new Exception * disable some pylint messages
Diffstat (limited to 'src/benchmarks/espresso/sminterf.c')
-rw-r--r--src/benchmarks/espresso/sminterf.c35
1 files changed, 0 insertions, 35 deletions
diff --git a/src/benchmarks/espresso/sminterf.c b/src/benchmarks/espresso/sminterf.c
deleted file mode 100644
index 96e77fa..0000000
--- a/src/benchmarks/espresso/sminterf.c
+++ /dev/null
@@ -1,35 +0,0 @@
-#include "espresso.h"
-
-
-pset
-do_sm_minimum_cover(A)
-pset_family A;
-{
- sm_matrix *M;
- sm_row *sparse_cover;
- sm_element *pe;
- pset cover;
- register int i, base, rownum;
- register unsigned val;
- register pset last, p;
-
- M = sm_alloc();
- rownum = 0;
- foreach_set(A, last, p) {
- foreach_set_element(p, i, val, base) {
- (void) sm_insert(M, rownum, base);
- }
- rownum++;
- }
-
- sparse_cover = sm_minimum_cover(M, NIL(int), 1, 0);
- sm_free(M);
-
- cover = set_new(A->sf_size);
- sm_foreach_row_element(sparse_cover, pe) {
- set_insert(cover, pe->col_num);
- }
- sm_row_free(sparse_cover);
-
- return cover;
-}