Skip to content

Commit

Permalink
Merge pull request #498 from lf-lang/MoezBHH-patch-1
Browse files Browse the repository at this point in the history
Update trace_impl.c
  • Loading branch information
edwardalee authored Dec 6, 2024
2 parents cdec23d + 97a6374 commit f505260
Show file tree
Hide file tree
Showing 2 changed files with 8 additions and 8 deletions.
14 changes: 7 additions & 7 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -55,13 +55,13 @@ jobs:
compiler-ref: ${{ needs.fetch-lf.outputs.ref }}
if: ${{ !github.event.pull_request.draft ||contains( github.event.pull_request.labels.*.name, 'zephyr') }}

lf-default-flexpret:
needs: [fetch-lf]
uses: lf-lang/lingua-franca/.github/workflows/c-flexpret-tests.yml@master
with:
runtime-ref: ${{ github.ref }}
compiler-ref: ${{ needs.fetch-lf.outputs.ref }}
if: ${{ !github.event.pull_request.draft ||contains( github.event.pull_request.labels.*.name, 'flexpret') }}
# lf-default-flexpret:
# needs: [fetch-lf]
# uses: lf-lang/lingua-franca/.github/workflows/c-flexpret-tests.yml@master
# with:
# runtime-ref: ${{ github.ref }}
# compiler-ref: ${{ needs.fetch-lf.outputs.ref }}
# if: ${{ !github.event.pull_request.draft ||contains( github.event.pull_request.labels.*.name, 'flexpret') }}

lf-default:
needs: [fetch-lf]
Expand Down
2 changes: 1 addition & 1 deletion trace/impl/src/trace_impl.c
Original file line number Diff line number Diff line change
Expand Up @@ -153,7 +153,7 @@ static void start_trace(trace_t* t, int max_num_local_threads) {
t->_lf_trace_buffer[i] = (trace_record_nodeps_t*)malloc(sizeof(trace_record_nodeps_t) * TRACE_BUFFER_CAPACITY);
}
// Array of counters that track the size of each trace record (per thread).
t->_lf_trace_buffer_size = (size_t*)calloc(sizeof(size_t), t->_lf_number_of_trace_buffers + 1);
t->_lf_trace_buffer_size = (size_t*)calloc(t->_lf_number_of_trace_buffers + 1, sizeof(size_t));
t->_lf_trace_buffer_size++;

t->_lf_trace_stop = 0;
Expand Down

0 comments on commit f505260

Please sign in to comment.