Другое: решения 2011 года
Описание
Характеристики учебной работы
Список файлов
- решения 2011 года
- akovalenko_bitset_iter
- Makefile 1,62 Kb
- Makefile_com.dropbox.attributes 83 b
- bitset_iter.c 10,1 Kb
- bitset_iter.c_com.dropbox.attributes 83 b
- bitset_iter.h 4,42 Kb
- bitset_iter.h_com.dropbox.attributes 83 b
- bitset_iter_model.sec 3,05 Kb
- bitset_iter_model.sec_com.dropbox.attributes 83 b
- bitset_iter_model.seh 900 b
- bitset_iter_model.seh_com.dropbox.attributes 83 b
- bitset_iter_set_add.sec 700 b
- bitset_iter_set_add.sec_com.dropbox.attributes 83 b
- bitset_iter_set_alloc.sec 475 b
- bitset_iter_set_alloc.sec_com.dropbox.attributes 83 b
- bitset_iter_set_cardinality.sec 505 b
- bitset_iter_set_cardinality.sec_com.dropbox.attributes 83 b
- bitset_iter_set_clear.sec 770 b
- bitset_iter_set_clear.sec_com.dropbox.attributes 83 b
- bitset_iter_set_copy.sec 697 b
- bitset_iter_set_copy.sec_com.dropbox.attributes 83 b
- bitset_iter_set_del.sec 709 b
- bitset_iter_set_del.sec_com.dropbox.attributes 83 b
- bitset_iter_set_eq.sec 911 b
- bitset_iter_set_eq.sec_com.dropbox.attributes 83 b
- bitset_iter_set_equal.sec 762 b
- bitset_iter_set_equal.sec_com.dropbox.attributes 83 b
- bitset_iter_set_fill.sec 1,48 Kb
- bitset_iter_set_fill.sec_com.dropbox.attributes 83 b
- bitset_iter_set_free.sec 711 b
- bitset_iter_set_free.sec_com.dropbox.attributes 83 b
- bitset_iter_set_is_subset.sec 1,38 Kb
- bitset_iter_set_is_subset.sec_com.dropbox.attributes 83 b
- bitset_iter_set_iter.sec 1,23 Kb
- bitset_iter_set_iter.sec_com.dropbox.attributes 83 b
- bitsetiter.c 4,55 Kb
- bitsetiter.c_com.dropbox.attributes 83 b
- final-report-akovalenko-2011.pdf 187,64 Kb
- final-report-akovalenko-2011.pdf_com.dropbox.attributes 83 b
- status 39 b
- status_com.dropbox.attributes 83 b
- akovalenko_bitset_iter_com.dropbox.attributes 83 b
- chernikova_insert_sort_guarded
- Makefile.txt 1,65 Kb
- Makefile.txt_com.dropbox.attributes 83 b
- final-report-chernikova-2011.pdf 424,81 Kb
- final-report-chernikova-2011.pdf_com.dropbox.attributes 83 b
- insert_sort_guarded.c 1,19 Kb
- insert_sort_guarded.c_com.dropbox.attributes 83 b
#--------------------------------------- -------------------------------
# Variables
CC = gcc
SEC = "$(CTESK_HOME)/bin/sec-c.sh"
SECPP = "$(CTESK_HOME)/bin/sec-pp.sh"
STARGEN = "$(UTT_HOME)/bin/stargen"
GCOV = gcov
INCLUDE = $(XINCLUDE)
LIBTYPE = gcc
CTESK_LIBPATH = $(CTESK_HOME)/lib/$(LIBTYPE)
LIB = $(XLIB) "-L$(CTESK_LIBPATH)" -lctesk -lpthread
CFLAGS = $(XCFLAGS) --coverage -g -std=c99 $(INCLUDE)
LDFLAGS = $(XLDFLAGS) --coverage -g -std=c99 $(LIB)
#--------------------------------------- -------------------------------
# Project specific code
sec_sources = insert_sort_guarded_model.sec
c_sources = insert_sort_guarded.c
target = insert_sort_guarded_test
#--------------------------------------- -------------------------------
.SECONDARY: $(sec_sources:%.sec=%.c) $(sec_sources:%.sec=%.sei)
%.c : %.sei
$(SEC) $< $@
%.sei : %.sec
$(SECPP) $< -o $@ $(CFLAGS)
%.d : %.c
$(CC) $(CFLAGS) -MM $< > $@
%.o : %.c
$(CC) $(CFLAGS) -c $< -o $@
%.sed : %.sec
$(SECPP) $(CFLAGS) -E -MM $< | sed -e "s/$(<:.sec=.o):/$(<:.sec=.o), $(<:.sec=.sei):/" > $@
.PHONY: all clean
all: $(target)
$(target): $(sec_sources:%.sec=%.o) $(c_sources:%.c=%.o)
$(CC) $^ -o $@ $(LDFLAGS)
-include $(sec_sources:%.sec=%.sed) $(c_sources:%.c=%.d)
report: $(target)
rm -rf $(target).report
./$(target) -t trace.utt || true
$(STARGEN) -d $(target).report trace.utt
$(GCOV) -b $(c_sources)
clean:
rm -f $(target) \
$(sec_sources:%.sec=%.o) $(sec_sources:%.sec=%.c) $(sec_sources:%.sec=%.sed) $(sec_sources:%.sec=%.sei) \
$(c_sources:%.c=%.o) $(c_sources:%.c=%.d) $(c_sources:%.c=%.gc*) $(sec_sources:%.sec=%.gc*) $(c_sources:%.c=%.c.gcov) \
atp.log trace.utt
rm -rf $(target).report